Search results
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Frameworks and Formalization > 114-122
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 180-207
Lecture Notes in Electrical Engineering > Informatics in Control, Automation and Robotics > Part III: Signal Processing, Systems Modeling and Control > 221-230
Lecture Notes in Computer Science > Formal Methods and Software Engineering > State Diagrams > 144-166
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Application > 201-217
Lecture Notes in Computer Science > Tests and Proofs > 137-152
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification > 300-314
Lecture Notes in Computer Science > Active Media Technology > Special Session on Technology Intelligence > 333-344
IFIP — The International Federation for Information Processing > Technological Innovation for Sustainability > Part 8: Petri Nets > 237-245
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Invited Talks > 1-13
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 499-504
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 94-129
Lecture Notes in Business Information Processing > Enterprise Information Systems > Part II: Artificial Intelligence and Decision Support Systems > 144-154
Lecture Notes in Computer Science > Integrated Formal Methods > Session: UML and Statecharts > 386-405
Communications in Computer and Information Science > Informatics Engineering and Information Science > Information Security > 214-228