01325nam--2200385---450 99000095274020331620180312154821.03-540-42275-70095274USA010095274(ALEPH)000095274USA01009527420020208d2001----km-y0ITAy0103-------baENGDEInnovative Internet computing systemsInternational workshop IICS 2001 Ilmenau, Germany, June 2001 ProceedingsThomas Bohme ... [et al.](eds.)BerlinSpringercopyr. 2001VIII, 182 pill.20 cmLecture notes in computer science20602001Lecture notes in computer science2060Internet <rete di elaboratori>Congressi2001004.67Bohme,ThomasInternational workshop IICS <2001 ; Illmenau, Germany>552512ITACBSISBD990000952740203316001 LNCS (2060)0026603 CBS00100110795BKSCIALANDI9020020208USA011210ALANDI9020020208USA01124520020403USA011738PATRY9020040406USA011706Innovative Internet computing systems973227UNISA01625aam 2200445I 450 991071121080332120151113033705.0GOVPUB-C13-691f5ad4c2b30c466760bbb89e13c1c3(CKB)5470000002481917(OCoLC)929067402(EXLCZ)99547000000248191720151113d1991 ua 0engrdacontentrdamediardacarrierPhase characteristics and time responses of unknown linear systems determined from measured CW amplitude data /Mark T. MaGaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,1991.1 online resourceNIST technical note ;13491991.Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page.Includes bibliographical references.Differential equationsLaplace transformationTransformations (Mathematics)Differential equations.Laplace transformation.Transformations (Mathematics)Ma Mark T1390795Ma Mark T1390795United States.National Bureau of Standards.NBSNBSGPOBOOK9910711210803321Phase characteristics and time responses of unknown linear systems determined from measured CW amplitude data3501672UNINA03423nam 22007575 450 991074115960332120251226203217.03-642-38088-310.1007/978-3-642-38088-4(CKB)3280000000007628(DE-He213)978-3-642-38088-4(SSID)ssj0000904592(PQKBManifestationID)11563884(PQKBTitleCode)TC0000904592(PQKBWorkID)10923533(PQKB)11060116(MiAaPQ)EBC3093188(PPN)17049179X(EXLCZ)99328000000000762820130509d2013 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierNASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /edited by Guillaume Brat, Neha Rungta, Arnaud Venet1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XXIV, 486 p. 164 illus.) Programming and Software Engineering,2945-9168 ;7871Bibliographic Level Mode of Issuance: Monograph3-642-38087-5 Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic execution -- Requirements and specifications -- Probabilistic and statistical analysis.- Theorem proving.This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.Programming and Software Engineering,2945-9168 ;7871Software engineeringCompilers (Computer programs)Operating systems (Computers)Computer scienceComputer programmingSoftware EngineeringCompilers and InterpretersOperating SystemsComputer Science Logic and Foundations of ProgrammingProgramming TechniquesSoftware engineering.Compilers (Computer programs).Operating systems (Computers).Computer science.Computer programming.Software Engineering.Compilers and Interpreters.Operating Systems.Computer Science Logic and Foundations of Programming.Programming Techniques.004.0151Brat Guillaumeedthttp://id.loc.gov/vocabulary/relators/edtRungta Nehaedthttp://id.loc.gov/vocabulary/relators/edtVenet Arnaudedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910741159603321NASA Formal Methods2860155UNINA