Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paulo C. Masiero
Extending Statecharts to Model System Interactions
Journal of Software Engineering Research and Development
Related publications
System Interactions in Socio-Technical Transitions: Extending the Multi-Level Perspective
Environmental Innovation and Societal Transitions
Renewable Energy
the Environment
Social Sciences
Sustainability
Environmental Science
Testing a System Specified Using Statecharts and Z
Information and Software Technology
Computer Science Applications
Information Systems
Software
Extending Model Checking to Efficient Propositional Inference
International Journal of Machine Learning and Computing
Management
Computer Science Applications
Information Systems
Artificial Intelligence
A Compositional Approach to Statecharts Semantics
ACM SIGSOFT Software Engineering Notes
Extending ACID Semantics to the File System
ACM Transactions on Storage
Hardware
Architecture
Extending HL7 RIM Model to Capture Physical Activity Data
Extending the Clapper–Yule Model to Rough Printing Supports
Journal of the Optical Society of America A: Optics and Image Science, and Vision
Pattern Recognition
Optics
Molecular Physics,
Computer Vision
Optical
Atomic
Magnetic Materials
Medicine
Electronic
Mapping Statecharts to Verilog for Hardware/Software Co-Specification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Systematically Combining Specifications of Internal and External System Behavior Using Statecharts
