Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tommaso Bolognesi
Erratum To: Formal Methods for Distributed System Development
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints
Related publications
Erratum To: The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
Formal Methods for Extensions to CAS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
Software
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The UniForM Workbench a Universal Development Environment for Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed Networked Force Value Proposition Implications for Distributed Networked System Concept Development
