Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jeff Templon
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Roadmap for HEP Software and Computing R&D for the 2020s
Computing and Software for Big Science
Related publications
Rapid Property Specification and Checking for Model-Based Formalisms
Ontology Based Semantics Checking for UML Activity Model
Information Technology Journal
Model Checking Timed UML State Machines and Collaborations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tool Support for Model Checking of Web Application Designs
Validation of Object-Oriented Concurrent Designs by Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Calculus Made Easy
UML Based Formal Model of Smart Transformer Power System
International Journal of Advanced Computer Science and Applications
Computer Science
AME – Asteroseismology Made Easy
Astronomy and Astrophysics
Astrophysics
Astronomy
Planetary Science
Space
Journal Transfer Made Easy
Nature Cell Biology
Cell Biology
