Results 271 to 280 of about 1,590,113 (289)

Experiences of using formal methods for chemical process control specification

Control Engineering Practice, 2000
Juan Bicarregui
exaly  

Formal methods for system specification

IEEE Potentials, 1993
M G Hinchey
exaly  

Formal specification of wireless and pervasive healthcare applications

Transactions on Embedded Computing Systems, 2010
Antonio Coronato, Giuseppe de Pietro
exaly  

Formal Specification and Verification of Ubiquitous and Pervasive Systems

ACM Transactions on Autonomous and Adaptive Systems, 2011
Antonio Coronato, Giuseppe de Pietro
exaly  

Formal Specification Generation from Requirement Documents

Electronic Notes in Theoretical Computer Science, 2008
Augusto Sampaio
exaly  

Formal Specification

2007
Andreas Roth, Peter H. Schmitt
openaire   +1 more source

Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems

IEEE Transactions on Reliability, 2016
Shaoying Liu
exaly  

The Formal Specification of Level la of GKS

Computer Graphics Forum, 1991
exaly  

A formal specification technique and implementation method for protocols

Computer Networks (1976), 1982
exaly  

Formal Specification

2001
openaire   +2 more sources