Search Results - Software and civil engineering Software notations and tools System description languages

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety by Zhu, Yi, Huang, Xiaowei, Huang, Zhiqiu, Wang, Jinyong, Wang, Fei

    ISSN: 0197-6729, 2042-3195
    Published: Cairo, Egypt Hindawi Publishing Corporation 07.12.2020
    Published in 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems by Andersson, Henric, Herzog, Erik, Johansson, Gert, Johansson, Olof

    ISSN: 1098-1241, 1520-6858, 1520-6858
    Published: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.12.2010
    Published in 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Modeling Languages for Internet of Things (IoT) Applications: A Comparative Analysis Study by Arslan, Sadik, Ozkaya, Mert, Kardas, Geylani

    ISSN: 2227-7390, 2227-7390
    Published: Basel MDPI AG 01.03.2023
    Published in Mathematics (Basel) (01.03.2023)
    “…: language definition, language features, and tool support. Some key findings are as follows…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    PTGL—a web-based database application for protein topologies by May, Patrick, Barthel, Stefan, Koch, Ina

    ISSN: 1367-4803, 1460-2059, 1367-4811
    Published: Oxford Oxford University Press 22.11.2004
    Published in 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: