Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Niccoló Zingoni
Formal Development for Railway Signaling Using Commercial Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
More About TAS and IsaWin — Tools for Formal Program Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesis of Railway-Signaling Plans Using Reachability Games
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Development of Quality Control Tools for ARCMAP Using Python
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
A Formal Model for Forensic Storage Media Preparation Tools
Intercurricular Relationship Development Using Ict Tools
Journal of Technology and Information Education
Development of Design Tools for Coining Process Using FEM
A Case Study in Integrating Formal Verification Tools Using the OMDoc Standard for Mathematical Documents
