Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Natasha Sharygina
Lessons Learned From Model Checking a NASA Robot Controller
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Scoot: A Tool for the Analysis of SystemC Models
Related publications
Lessons Learned Model Checking an Industrial Communications Library
Lessons Learned From Chikungunya
Retrovirology
Virology
Infectious Diseases
Lessons Learned From 25 Years of PMIP Model-Data Distribution
Past Global Change Magazine
Lessons Learned From a PLTL-CS Program
Lessons Learned From RITAs Pilots
The Bulletin of the Royal College of Surgeons of England
Lessons Learned From the 6TiSCH Plugtests
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering
Computer Networks
Communications
Lessons Learned
Advances in Social Work
A Brachiating Robot Controller
IEEE Transactions on Robotics and Automation
Lessons Learned
Journal of the American Dental Association
Medicine
Dentistry
