Wyniki wyszukiwania
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > UML Models and Model Checking > 355-374
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > State Space Reductions > 458-472
Lecture Notes in Computer Science > Advances in Intelligent Data Analysis X > Selected Contributions > 270-281
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 117-132
IFIP — The International Federation for Information Processing > Integrity and Internal Control in Information Systems VI > Refereed papers > 31-47
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools > 163-167
Lecture Notes in Computer Science > Integrated Formal Methods > Session: System Development > 129-149
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Verification > 99-115
Lecture Notes in Computer Science > Computer Network Security > Security Policies and Formal Analysis of Security Properties > 155-168
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Ecology Based Decentralized Agent Management System > 189-212
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 144-163
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Knowledge Representation and Non-monotonic Reasoning > 762-776
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 133-152
Lecture Notes in Computer Science > Automata, Languages and Programming > Temporal Logic and Model Checking > 776-789