Treffer
1 - 2
von
2
für Suche '
Eljadiri, Lamia
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Eljadiri, Lamia
Treffer
1 - 2
von
2
für Suche '
Eljadiri, Lamia
'
, Suchdauer: 0,21s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Generic Framework Architecture for Verifying Embedded Components
von
ELJADIRI, Lamia
,
ASSAYAD, Ismail
Veröffentlicht in
International journal of advanced computer science & applications
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
A Novel Architecture Prototyping Framework With Generic Properties Verification for Sub-architectures
von
Assayad, Ismail
,
Eljadiri, Lamia
,
Krichen, Moez
,
Zakari, Abdelouahed
,
Adoni, Wilfried
,
Nahhal, Tarik
Veröffentlicht in
Engineering letters
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
1 Treffer
1
Online Resources
2 Treffer
2
Format
Articles
2 Treffer
2
Zeitschriftentitel
Engineering Letters
1 Treffer
1
International Journal Of Advanced Computer Science & Applications
1 Treffer
1
International Journal Of Advanced Computer Science And Applications/International Journal Of Advanced Computer Science & Applications
1 Treffer
1
Schlagworte
Computer Science
2 Treffer
2
Embedded Systems
2 Treffer
2
Science & Technology
2 Treffer
2
Technology
2 Treffer
2
Temporal Logic
2 Treffer
2
Verification
2 Treffer
2
Algorithms
1 Treffer
1
Automation
1 Treffer
1
Behavior Interaction Priority
1 Treffer
1
Complexity
1 Treffer
1
Computer Science, Theory & Methods
1 Treffer
1
Design
1 Treffer
1
Embedded Architectures
1 Treffer
1
Embedded Components
1 Treffer
1
Engineering
1 Treffer
1
Engineering, Multidisciplinary
1 Treffer
1
Formal Verification
1 Treffer
1
Framework
1 Treffer
1
Generic Properties
1 Treffer
1
Ltl Properties
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Doaj Directory Of Open Access Journals
2 Treffer
2
Ezb-Free-00999 Freely Available Ezb Journals
2 Treffer
2
Research Library (Alumni Edition)
1 Treffer
1
Proquest Central (Alumni)
1 Treffer
1
Proquest Central Uk/Ireland
1 Treffer
1
Proquest Central Essentials
1 Treffer
1
Proquest Central
1 Treffer
1
Proquest One Community College
1 Treffer
1
Proquest Central Korea
1 Treffer
1
Proquest Central Student
1 Treffer
1
Research Library Prep
1 Treffer
1
Ingentaconnect Journals
1 Treffer
1
Research Library
1 Treffer
1
Ingenta Connect
1 Treffer
1