Into aeronautics, vehicle, safety critical, formal methods.
-
Sigma Technology Embedded Solutions
- Sweden
- @1amjau
Starred repositories
OpenSLP project is an effort to develop an open-source, commercial-grade, implementation of IETF Standards track Service Location Protocol (RFC 2608). The interface conforms to IETF Standards track…
Interface for Tcl (and optionally Python) to read HDF4 and HDF5 files
Requirements management using version control.
Environment Modules: provides dynamic modification of a user's environment
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Notepad official repository