Assertion: integrity | /r/HasProperty | real-time operating systems
Facets:
Source sentences:
text: INTEGRITY and INTEGRITY-178B are real-time operating systems (RTOSes) produced and marketed by Green Hills Software.