Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J.M. Atlee
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
Software
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Software