• Suche: Using formal description techniques

Treffer 1 - 20 von 1.178.433

1

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
Tankeu-Choitat, A. ; Navarre, D. ; Palanque, P. ; et al.
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing Dependable Computing (PRDC), 2011 IEEE 17th Pacific Rim International Symposium on. :164-173 Dec, 2011

Konferenz
Merkliste
3

Performance Evaluation of Communication Systems Using Formal Description Techniques
Summer computer simulation conference
Hohwiller, L. ; Wendling, S.
SUMMER COMPUTER SIMULATION CONFERENCE. :419-424

Konferenz
Merkliste
4

Validation of Hardware Implementations using Formal Description Techniques
Applied formal methods in system design
Huecas, G. ; Robles, T. ; Gonzalez, L. M. ; et al.
INTERNATIONAL WORKSHOP ON APPLIED FORMAL METHODS IN SYSTEM DESIGN. :115-132

Konferenz
Merkliste
5

Description of three new Dryocola species: Dryocola mayonis sp. nov., Dryocola sharpae sp. nov.and Dryocola baronae sp. nov., isolated from human clinical samples.
Mohammed HT ; Koscianski CA ; Gordy GG ; et al.
Publisher: Microbiology Society Country of Publication: England NLM ID: 100899600 Publication Model: Print Cited Medium: Internet ISSN: 1466-5034 (Electronic) Linking ISSN: 14665026 NLM ISO Abbreviation: Int J Syst Evol Microbiol Subsets: MEDLINE

RNA, Ribosomal, 16S gene... Bacterial Typing Techniq... DNA, Bacterial genetics Humans Fatty Acids analysis Fatty Acids chemistry …
Fachzeitschrift
Merkliste
6

Performance Evaluation of Communication Systems Using Formal Description Techniques
Hohwiller, L. ; Wendling, S.
SUMMER COMPUTER SIMULATION CONFERENCE. :419-424

Zeitschrift
Merkliste
7

Dieses Ergebnis kann Gästen nicht angezeigt werden.

8

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language.
Barboni, Eric ; Martinie, Célia ; Navarre, David ; et al.
Science of Computer Programming. Jun2014, Vol. 86, p3-29. 27p.

FORMAL description techn... USER interfaces PROGRAMMING languages GRAPHICAL user interface... JAVA programming languag... COMPUTER systems
Fachzeitschrift
Merkliste
9

Using Formal Methods for Autonomous Systems: Five Recipes for Formal Verification
Luckcuck, Matt

Computer Science - Softw... Computer Science - Logic...
Report
Merkliste
10

Study on OSPF Algebraic Formal Modelling Using ACP.
Roig, Pedro Juan ; Alcaraz, Salvador ; Gilly, Katja ; et al.
Electronics & Electrical Engineering. 2018, Vol. 24 Issue 4, p77-83. 7p.

Open Shortest Path First... Network routing protocol... Formal description techn... Data packeting Arithmetic
Fachzeitschrift
Merkliste
16

Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.
Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; et al.
HCI & Usability for Medicine & Health Care; 2007, p21-40, 20p

Buch
Merkliste
18

Some Experiments Using Term Rewriting Techniques for Concurrency
Formal description techniques, III
Kirkwood, C. ; Norrie, K.
FORMAL DESCRIPTION TECHNIQUES -INTERNATIONAL CONFERENCE-. CONF 3:527-530

Konferenz
Merkliste
19

Using Formal Methods: if you're so smart how come you ain't rich'?
Formal description techniques
Brinksma, E.
FORMAL DESCRIPTION TECHNIQUES -INTERNATIONAL CONFERENCE-. CONF 9:329-332

Konferenz
Merkliste
20

Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems
Formal description techniques
Kleuker, S.
FORMAL DESCRIPTION TECHNIQUES -INTERNATIONAL CONFERENCE-. CONF 9:113-128

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter