لیست کتاب های کلمه کلیدی: #formal methods

Understanding Behaviour of Distributed Systems Using mCRL2
Published on: 2023
Beginner Software Engineering English

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides …

distributed systems mCRL2 formal methods behavior analysis process modeling
Formal Aspects of Computing
Published on: 2014 May 27
Unordered Computer Science and Theory English

Issues (Editions)YearIssue2020Volume: 3212-34-6Volume: ??????2019Volume: 31123456Volume: ??????2018Volume: 3112Volume: 30123-4562017Volume: 30125Volume: 291234562016Volume: 29123Volume: 281234562015Volume: 2812Volume: 272345-62014Volume: 271234Volume: 2623562013Volume: 26123456Volume: 2532012Volume: 26123Volume: 251356Volume: …

formal methods computing software engineering algorithms verification
ACM Transactions on Computational Logic
Published on: 2006 April 01
Unordered Logic and Foundations English

Issues (Editions)YearIssue2021Volume: 2212020Volume: 2112342019Volume: 2112Volume: 2012342018Volume: 201Volume: 1912342017Volume: 191Volume: 1812342016Volume: 172342015Volume: 1712Volume: 1612342014Volume: 161Volume: 1512342013Volume: 1412342012Volume: 1312342011Volume: 122342010Volume: 121Volume: 112342009Volume: …

computational logic algorithms formal methods reasoning verification

Page of

تماس با پشتیبان