01457nam 2200409 450 99657552520331620230414104127.01-7281-8928-4(CKB)5590000000003929(NjHacI)995590000000003929(EXLCZ)99559000000000392920230414d2020 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2020 Forum for Specification and Design Languages (FDL) /Institute of Electrical and Electronics Engineers (IEEE)Piscataway, New Jersey :Institute of Electrical and Electronics Engineers (IEEE),2020.1 online resource illustrations some color1-7281-8929-2 2020 Forum for Specification and Design Languages Computer softwareVerificationConference papers and proceedingsComputer hardware description languagesSoftware architectureCongressesComputer softwareVerification.Conference papers and proceedings.Computer hardware description languages.Software architecture005.14NjHacINjHaclPROCEEDING9965755252033162020 Forum for Specification and Design Languages (FDL)2519610UNISA