Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Arabian Journal for Science and Engineering
Erschienen in: Arabian Journal for Science and Engineering 8/2016

16.02.2016 | Research Article - Computer Engineering and Computer Science

Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram

verfasst von: Nazir Ahmad Zafar

Erschienen in: Arabian Journal for Science and Engineering | Ausgabe 8/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …
Vorheriger Artikel Optimal Synthesis of Linear Antenna Arrays Using Modified Spider Monkey Optimization
Nächster Artikel Extracting Discriminative Parts with Flexible Number from Low-Rank Features for Human Action Recognition

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Metadaten
Titel
Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram
verfasst von
Nazir Ahmad Zafar
Publikationsdatum
16.02.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Arabian Journal for Science and Engineering / Ausgabe 8/2016
Print ISSN: 2193-567X
Elektronische ISSN: 2191-4281
DOI
https://doi.org/10.1007/s13369-015-1999-9

Weitere Artikel der Ausgabe 8/2016

Arabian Journal for Science and Engineering 8/2016 Zur Ausgabe

Research Article - Computer Engineering and Computer Science

A Generalized Distributed Delegate Object Model for E-com and M-com Applications

Research Article - Computer Engineering and Computer Science

Multiclass ELM Based Smart Trustworthy IDS for MANETs

Research Article - Computer Engineering and Computer Science

An Efficient Approach for Processing Skyline Queries in Incomplete Multidimensional Database

Research Article - Computer Engineering and Computer Science

Bandwidth and Mutual Coupling Analysis of a Circular Microstrip MIMO Antenna Using Artificial Neural Networks

Research Article - Computer Engineering and Computer Science

Contentionless Architecture for Optical Interconnect (CAOI) in Data Center Network

Research Article - Computer Engineering and Computer Science

CAL: A Controlled Arabic Language for Authoring Ontologies

Premium Partner

    Marktübersichten

    Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen. 

    Zur Marktübersicht
    Bildnachweise