Modular verification of reconfigurable components

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 59 - 81
Main Authors TESANOVIC, Aleksandra, NADJM-TEHRANI, Simin, HANSSON, Jörgen
Format Book
LanguageEnglish
Published Berlin Springer 2005
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Software
Software engineering
Aspect oriented
Software development
Timed automata
Reconfigurable architectures
Software component
Real time system
Online AccessGet full text

Cover

Author NADJM-TEHRANI, Simin
HANSSON, Jörgen
TESANOVIC, Aleksandra
Author_xml – sequence: 1
  givenname: Aleksandra
  surname: TESANOVIC
  fullname: TESANOVIC, Aleksandra
  organization: Department of Computer Science, Linköping University, Sweden
– sequence: 2
  givenname: Simin
  surname: NADJM-TEHRANI
  fullname: NADJM-TEHRANI, Simin
  organization: Department of Computer Science, Linköping University, Sweden
– sequence: 3
  givenname: Jörgen
  surname: HANSSON
  fullname: HANSSON, Jörgen
  organization: Department of Computer Science, Linköping University, Sweden
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17633659$$DView record in Pascal Francis
BookMark eNqNjbEOwiAUAF-0JrbqP3RxbAJ9FMJsNC5u7gYRDIZCA62Jf28HP8DpbrjkKihCDGYBJeWUNohMLqHCjhEknDFRQDlb20jBcA1Vzi9CSCtkWwK9xMfkVarfJjnrtBpdDHW0dTI6BuueU1J3b2od-2FehDFvYWWVz2b34wb2p-P1cG4GlbXyNqmgXb4NyfUqfW5UcETeSfy3-wKt4ztp
ContentType Book
Copyright 2006 INIST-CNRS
Copyright_xml – notice: 2006 INIST-CNRS
DBID IQODW
DatabaseName Pascal-Francis
DeliveryMethod fulltext_linktorsrc
Discipline Applied Sciences
Computer Science
EISSN 1611-3349
EndPage 81
ExternalDocumentID 17633659
GroupedDBID -DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
ALMA_UNASSIGNED_HOLDINGS
EJD
F5P
FEDTE
IQODW
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-pascalfrancis_primary_176336593
ISBN 3540306447
9783540306443
ISSN 0302-9743
IngestDate Sun Oct 22 16:07:47 EDT 2023
IsPeerReviewed false
IsScholarly false
Keywords Aspect oriented
Software development
Timed automata
Reconfigurable architectures
Software component
Real time system
Language English
License CC BY 4.0
LinkModel OpenURL
MergedId FETCHMERGED-pascalfrancis_primary_176336593
ParticipantIDs pascalfrancis_primary_17633659
PublicationCentury 2000
PublicationDate 2005
PublicationDateYYYYMMDD 2005-01-01
PublicationDate_xml – year: 2005
  text: 2005
PublicationDecade 2000
PublicationPlace Berlin
PublicationPlace_xml – name: Berlin
PublicationTitle Lecture notes in computer science
PublicationYear 2005
Publisher Springer
Publisher_xml – name: Springer
SSID ssj0002792
ssj0000316747
Score 3.6372569
SourceID pascalfrancis
SourceType Index Database
StartPage 59
SubjectTerms Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Software
Software engineering
Title Modular verification of reconfigurable components
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT4NAEN5YjIkn3_HZcNAjBrpA6RErpiWWJrY2vTUUdk1jQk0fF3-9s09KYzR6ITABsstHZmdm55tB6NYlDZeSFrW8zA8sN8OskTumVh4EmY0Du9HitTt7id95deOxNy77Y3J2yWp6n31-yyv5D6ogA1wZS_YPyOqXggDOAV84AsJw3DJ-9aXsvTTPefoojJil-mizj7u3dPa2XnBGFMsXnxeqWhN30KNBmPRH3bYkt7wv0yJfaNWchI9xzxpGnZcw6fLAKGv6paEPk8Ggz_MCYrbB_uAz5mYlbuBtxQ1U3LDiT7IgEHNJROUkxasCnQlehxARoSZ9VvwQi2KjUvXJwt5yEXXK9UXtqW8tOzoZ0AEVh32vVUM10B4G2g2j-HmkA2U24-q72ou2WcVDsTUkhiUJO3zYzT0dyxLTYKmu6RL-diralGzYDsNDZDA-yRHaIcUxOpBWvyl16hJEqrGGkp0gR-JrbuJrzqlZxdcs8T1Fd0_RsN2xKuOYfIhaIhM1eXyGjAKeOEcmpgQT6pEsaGIwVmFlJLabpnYwdZyc0uYFqv_8rsvfbrhC--UfcY2M1WJNbsC2Wk3r8ut_AYzYI_k
link.rule.ids 307,780,784,787,4048
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Modular+verification+of+reconfigurable+components&rft.au=TESANOVIC%2C+Aleksandra&rft.au=NADJM-TEHRANI%2C+Simin&rft.au=HANSSON%2C+J%C3%B6rgen&rft.date=2005-01-01&rft.pub=Springer&rft.isbn=9783540306443&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=59&rft.epage=81&rft.externalDBID=n%2Fa&rft.externalDocID=17633659
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon