Výsledky vyhledávání - Software and civil engineering Software notations and tools System description languages
-
1
Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety
ISSN: 0197-6729, 2042-3195Vydáno: Cairo, Egypt Hindawi Publishing Corporation 07.12.2020Vydáno v Journal of advanced transportation (07.12.2020)“…CADS (cooperative autonomous driving systems) are software-intensive and safety-critical reactive systems and give great promise to our daily life, but system…”
Získat plný text
Journal Article -
2
Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems
ISSN: 1098-1241, 1520-6858, 1520-6858Vydáno: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.12.2010Vydáno v Systems engineering (01.12.2010)“…A Unified Modeling Language/Systems Modeling Language (UML/SysML) subset was the modeling notation selected for an aerospace systems engineering project at Saab Aerosystems…”
Získat plný text
Journal Article -
3
Modeling Languages for Internet of Things (IoT) Applications: A Comparative Analysis Study
ISSN: 2227-7390, 2227-7390Vydáno: Basel MDPI AG 01.03.2023Vydáno v Mathematics (Basel) (01.03.2023)“…: language definition, language features, and tool support. Some key findings are as follows…”
Získat plný text
Journal Article -
4
PTGL—a web-based database application for protein topologies
ISSN: 1367-4803, 1460-2059, 1367-4811Vydáno: Oxford Oxford University Press 22.11.2004Vydáno v Bioinformatics (22.11.2004)“… Protein topologies can be derived at different description levels considering α- and β-structures. The on-line search tool is based on an object-relational database…”
Získat plný text
Journal Article